Merge branch 'ci-jobs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 11 Feb 2020 15:25:48 +0000 (15:25 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 11 Feb 2020 15:25:48 +0000 (15:25 +0000)
commitbb71cdd722e7491782452642a8b76660dc341abe
tree59868034901b5a423c4dc8386721a625c97707a4
parentb5dc03d940bf95f1f2da395e91ab3edb7d3f73b5
parent2b425fa88a65e62e37ac29bf7822fdba88a086af
Merge branch 'ci-jobs' into 'master'

Update CI jobs

See merge request GNOME/gtk!1412